Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring

Nonmonotonic Logic

Against Nonmonotonic Logic (DRAFT)

The monotonicity property of inference in conventional formal systems of logic (S ` A and S ⊆ T implies T ` A) appears to prohibit certain crucial steps in practical intuitive reasoning. For example, reasoning by default (using assertions that are assumed to hold until explicitly contradicted) appears to be impossible in monotonic systems. Many crucial steps in practical reasoning certainly req...

A nonmonotonic observation logic

A variant of Reiter's default logic is proposed as a logic for reasoning with (defeasible) observations. Traditionally, default rules are assumed to represent generic information and the facts are assumed to represent speciic information about the situation, but in this paper, the speciic information derives from defea-sible observations represented by (normal free) default rules, and the facts...

Nonmonotonic Causal Logic

can be understood to describe everything caused in a world such as I (according to T ). The models of causal theory T are those interpretations for which what is true is exactly what is caused: that is, the interpretations I such that I is the unique model of T I . This fixpoint condition makes the logic nonmonotonic; adding causal rules to T may produce new models. Causal theories allow for co...

Nondeterministic, Nonmonotonic Logic Databases

We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic and nondeterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its exibil-ity in expressing queries concerning aggregates and data cube. Also, we show how iterated xpoint and stable model semantics can be combined to the purpose of clarifying the semantics of Datalog++ pr...